Proof assistant

Assistant de preuve - logiciel permettant l'écriture et la vérification de preuves mathématiques. L'article « Proof assistant » sur Wikipédia en anglais a 31.8 points pour la qualité (au 1 juillet 2025). L'article contient 22 références et 8 sections. L’article contient également des modèles signalant des problèmes de qualité, c’est pourquoi sa note a été réduite de 3,54 points.

Cet article a la meilleure qualité sur Wikipédia en chinois. Cependant, la version linguistique la plus populaire de cet article est la langue anglais.

Depuis la création de l'article « Proof assistant », son contenu a été rédigé par 107 utilisateurs enregistrés de Wikipédia en anglais et édité par 212 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 266 fois dans Wikipédia en anglais et cité 553 fois dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

• Local (anglais): n° 28702 en mars 2025
• Mondial: n° 55627 en octobre 2004

Le classement de popularité le plus élevé depuis 2008:

• Local (anglais): n° 190364 en novembre 2017
• Mondial: n° 312653 en novembre 2017

Il existe 9 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 juillet 2025 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

#	Langue	Niveau de qualité	Score de qualité
1	chinois (zh) 证明助手		54.119
2	anglais (en) Proof assistant		31.834
3	estonien (et) Tõestusassistent		31.7775
4	français (fr) Assistant de preuve		26.1518
5	ukrainien (uk) Асистент доведення теорем		24.8124
6	coréen (ko) 증명 보조기		16.551
7	russe (ru) Инструмент интерактивного доказательства теорем		14.9517
8	espagnol (es) Demostración interactiva de teoremas		1.1306
9	polonais (pl) System wspomagający dowodzenie twierdzeń		0.3428

Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Les versions linguistiques les plus populaires de l'article "Proof assistant" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Proof assistant		577 876
2	français (fr) Assistant de preuve		69 148
3	polonais (pl) System wspomagający dowodzenie twierdzeń		12 825
4	espagnol (es) Demostración interactiva de teoremas		8 979
5	russe (ru) Инструмент интерактивного доказательства теорем		6 229
6	coréen (ko) 증명 보조기		1 032
7	estonien (et) Tõestusassistent		374
8	ukrainien (uk) Асистент доведення теорем		260
9	chinois (zh) 证明助手		230

Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les versions linguistiques les plus populaires de l'article "Proof assistant" en juin 2025

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Proof assistant		4 492
2	français (fr) Assistant de preuve		267
3	russe (ru) Инструмент интерактивного доказательства теорем		174
4	coréen (ko) 증명 보조기		125
5	chinois (zh) 证明助手		115
6	espagnol (es) Demostración interactiva de teoremas		39
7	polonais (pl) System wspomagający dowodzenie twierdzeń		36
8	ukrainien (uk) Асистент доведення теорем		14
9	estonien (et) Tõestusassistent		13

Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Versions linguistiques de l'article "Proof assistant" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prox de IA	IA relatif
1	anglais (en) Proof assistant		107
2	français (fr) Assistant de preuve		68
3	polonais (pl) System wspomagający dowodzenie twierdzeń		11
4	russe (ru) Инструмент интерактивного доказательства теорем		6
5	coréen (ko) 증명 보조기		5
6	chinois (zh) 证明助手		5
7	espagnol (es) Demostración interactiva de teoremas		4
8	estonien (et) Tõestusassistent		3
9	ukrainien (uk) Асистент доведення теорем		3

Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Versions linguistiques de l'article "Proof assistant" présentant le plus grand intérêt des auteurs en juin 2025

#	Langue	Prox de IA	IA relatif
1	chinois (zh) 证明助手		3
2	français (fr) Assistant de preuve		1
3	coréen (ko) 증명 보조기		1
4	russe (ru) Инструмент интерактивного доказательства теорем		1
5	anglais (en) Proof assistant		0
6	espagnol (es) Demostración interactiva de teoremas		0
7	estonien (et) Tõestusassistent		0
8	polonais (pl) System wspomagający dowodzenie twierdzeń		0
9	ukrainien (uk) Асистент доведення теорем		0

Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

Versions linguistiques de l'article "Proof assistant" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Proof assistant		266
2	français (fr) Assistant de preuve		188
3	russe (ru) Инструмент интерактивного доказательства теорем		51
4	espagnol (es) Demostración interactiva de teoremas		20
5	ukrainien (uk) Асистент доведення теорем		13
6	polonais (pl) System wspomagający dowodzenie twierdzeń		5
7	chinois (zh) 证明助手		4
8	estonien (et) Tõestusassistent		3
9	coréen (ko) 증명 보조기		3

Plus...

#	Langue	Valeur
en	anglais Proof assistant
es	espagnol Demostración interactiva de teoremas
et	estonien Tõestusassistent
fr	français Assistant de preuve
ko	coréen 증명 보조기
pl	polonais System wspomagający dowodzenie twierdzeń
ru	russe Инструмент интерактивного доказательства теорем
uk	ukrainien Асистент доведення теорем
zh	chinois 证明助手

Meilleur rang

anglais: n° 190364 11.2017

Mondial: n° 312653 11.2017

Meilleur rang

anglais: n° 28702 03.2025

Mondial: n° 55627 10.2004

Au 16 mars 2026 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: 98e cérémonie des Oscars, Michael B. Jordan, Sinners, Jessie Buckley, Paul Thomas Anderson, Sean Penn, Une bataille après l'autre, Amy Madigan, Hamnet, Timothée Chalamet.

Sur Wikipédia en anglais, les articles les plus populaires ce jour-là étaient: 98th Academy Awards, Michael B. Jordan, Paul Thomas Anderson, Jessie Buckley, Sinners (2025 film), Amy Madigan, Autumn Durald Arkapaw, Maya Rudolph, Sean Penn, Academy Awards.

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de juillet 2025. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juin 2025 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2025... Plus d'information